Modelling the Embedded Control System Using iUML-B Pattern State Machine
نویسندگان
چکیده
منابع مشابه
State-Machine Modelling in the DOVE System
The DOVE tool supports high-level system modelling and design, and formal reasoning about critical properties. DOVE uses state-machine graphs to illustrate designs, thus building on a familiar and effective means of communicating system designs to a wide audience. DOVE employs a propositional temporal logic to express desirable behavioural properties of the design, and presents it in a sequent ...
متن کاملPowered Wheelchair Control : Human – Machine System Modelling
The objective of this work is to model the pilotvehicle system made up of a person with disability and of an electric wheelchair. This modelling must induce an objective analysis method of the pilot-wheelchair couple in order to help to personalize the parameters of the vehicle on the one hand and to evaluate the interest of new functionalities on the other hand. After a review of the literatur...
متن کاملAnalysing Security Protocols Using Refinement in iUML-B
We propose a general approach based on abstraction and refinement for constructing and analysing security protocols using formal specification and verification. We use class diagrams to specify conceptual system entities and their relationships. We use state-machines to model the protocol execution involving the entities’ interactions. Features of our approach include specifying security princi...
متن کاملValidating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation
We present a formal specification of a hemodialysis machine (HD machine) using Event-B. We model the HD machine using iUML-B state-machines and class diagrams and build a corresponding BMotion Studio visualisation. We focus on validation using (i) diagrams to aid the modelling of the sequential properties of the requirements, and (ii) ProB-based animation and visualisation tools to explore the ...
متن کاملModelling the Environment of a Mobile Robot with the Embedded Flow State Machine
A type of topological approach to mobile robot navigation is discussed and experimentally evaluated. The environment as experienced by a moving robot is treated as a dynamical system. Simple types of reactive behavior are supplemented with eventual decisions to switch between them. When switching criteria are defined, the system may be described in the form similar to a finite state machine. Si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Control Science and Engineering
سال: 2018
ISSN: 1687-5249,1687-5257
DOI: 10.1155/2018/1468172